منابع مشابه
Weyl Equation in Gödel Type Universes
The Weyl equation (massless Dirac equation) is studied in a family of metrics of the Gödel type. The field equation is solved exactly for one member of the family. PACS numbers 04.20q,04.20.Jb,04.40+c,98.80.k
متن کاملBlack holes in Gödel universes and pp waves.
We find exact solutions for rotating and nonrotating neutral black holes in the Gödel universe of five-dimensional minimal supergravity theory. We also describe the embedding of this solution in M-theory. After dimensional reduction and T-duality, we obtain a supergravity solution corresponding to placing a black string in a pp-wave background.
متن کاملOn Universes in Type Theory
The notion of a universe of types was introduced into constructive type theory by Martin-Löf (1975). According to the propositions-as-types principle inherent in type theory, the notion plays two rôles. The first is as a collection of sets or types closed under certain type constructions. The second is as a set of constructively given infinitary formulas. In this paper we discuss the notion of ...
متن کاملType Checking with Universes
Various formulations of constructive type theories have been proposed to serve as the basis for machine-assisted proof and as a theoretical basis for studying programming languages. Many of these calculi include a cumulative hierarchy of \universes," each a type of types closed under a collection of type-forming operations. Universes are of interest for a variety of reasons, some philosophical ...
متن کاملFriedmann Equation and Cardy Formula Correspondence in Brane Universes
We study the brane with arbitrary tension σ on the edge of various black holes with AdS asymptotics. We investigate Friedmann equations governing the motion of the brane universes and match the Friedmann equation to Cardy entropy formula. PACS number(s): 04.70.Dy, 98.80.Cq e-mail:[email protected] e-mail:[email protected] e-mail:[email protected]
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modern Physics Letters A
سال: 1994
ISSN: 0217-7323,1793-6632
DOI: 10.1142/s0217732394003543